Concurrent Pascal - PDFSEARCH.IO - Document Search Engine

Concurrent Pascal
Results: 22

#	Item
1	A Note on Monitor Versions Essay in the Honour of C.A.R. Hoare Ole-Johan Dahl Department of Informatics University of Oslo, Norway 30th July 1999 Add to Reading List Source URL: www.olejohandahl.info Language: English - Date: 2013-09-23 13:44:35 Software engineering Computing Programming language theory Concurrency control Edsger W. Dijkstra Monitor Formal methods Hoare logic Event Semaphore Concurrent computing Pascal
2	A Note on Monitor Versions Essay in the Honour of C.A.R. Hoare Ole-Johan Dahl Department of Informatics University of Oslo, Norway 30th July 1999 Add to Reading List Source URL: www.olejohandahl.info Language: English - Date: 2013-09-23 13:44:35 Concurrency control Edsger W. Dijkstra Monitor Hoare logic Event Semaphore Concurrent computing Pascal XC Flag semaphore ALGOL 68 Unix signal
3	1 RUST MEETUP COLOGNE – FEB 2016 – PASCAL HERTLEIF RUST WITH CONFIDENCE Add to Reading List Source URL: rustaceans.cologne Language: English - Date: 2016-08-17 10:30:30 Concurrent programming languages Procedural programming languages Mozilla Rust Go Subroutine Cargo Pascal Block
4	Microsoft Word - syllabus of DCA & PGDCA.docx Add to Reading List Source URL: usvv.ac.in Language: English - Date: 2016-08-04 02:22:23 Cross-platform software Procedural programming languages Object-oriented programming languages Programming languages Concurrent programming languages Pascal Computer D JavaScript Personal computer ALGOL 68 Command-line interface
5	Professional Programmer’s Guide to Fortran77 Clive G. Page, University of Leicester, UK 7th June 2005 c Copyright 1988 Add to Reading List Source URL: www.star.le.ac.uk Language: English - Date: 2006-06-19 05:23:46 Programming languages Array programming languages Procedural programming languages Fortran F Concurrent programming languages Goto Include directive Block High-level programming language Array data type Pascal
6	NVIDIA DGX-1 DEEP LEARNING SYSTEM The World’s First Deep Learning Supercomputer in a Box Data scientists and artificial intelligence (AI) researchers require Add to Reading List Source URL: images.nvidia.com Language: English - Date: 2016-04-12 14:35:00 Computing Computer architecture Concurrent computing GPGPU Parallel computing Video cards Graphics hardware Nvidia Nvidia DGX-1 Pascal Graphics processing unit NVLink
7	Compiler Copyright © Ericsson AB. All Rights Reserved. CompilerDecember 15, 2015 Copyright © Ericsson AB. All Rights Reserved. Add to Reading List Source URL: erlang.org Language: English - Date: 2015-12-16 04:36:32 Concurrent programming languages Compiler construction Functional languages Object-oriented programming languages Pascal Erlang Objective-C Compiler Perl module Directive
8	Techniques for verification of concurrent systems with invariants Pascal Fontaine ` Add to Reading List Source URL: www.montefiore.ulg.ac.be Language: French - Date: 2004-09-16 10:10:16
9	Techniques for verification of concurrent systems with invariants Pascal Fontaine ` Add to Reading List Source URL: www.montefiore.ulg.ac.be Language: French - Date: 2004-09-16 10:10:16
10	Experience with Processes and Monitors in Mesa1 Butler W. Lampson Xerox Palo Alto Research Center David D. Redell Xerox Business Systems Add to Reading List Source URL: www.scs.stanford.edu Language: English - Date: 2002-01-10 22:31:41 Computer programming Monitor Concurrent Pascal Lock Deadlock Mutual exclusion Mesa Semaphore Parallel computing Concurrency control Computing Software engineering

UPDATE